Matemática Discreta (1 º Sem Ano Lectivo 2025)

1.Elementos da teoria de conjuntos
−Operações sobre conjuntos
−Relações binárias
−Funções

2.Somatórios
−Somatório e produto.
−Indução matemática.

3.Elementos de lógica matemática
−Cálculo proposicional.
−Métodos de demonstração
−Álgebra de Boole

4.Relações de recorrência
−Definição de uma relação de recorrência
−Fórmula geral de uma relação de recorrência

5.Algoritmos
−Algoritmos recursivos
−Complexidade

6.Aritmética modular
−Congruências lineares
−Teorema Chinês.

7.Grafos
−Definição, representação e tipos de grafos
−Conectividade e caminho num grafo. Grafos eulerianos e hamiltonianos.

8.Linguagens e autómatos
−Linguagens formais.
−Autómatos: teoria e classificação dos autómatos